Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States

On Combining the Sweep-Line and Equivalence Method

Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method

Equivalence Based Cut-off in the Sweep-Line Method

Sweep Line Algorithm for Convex Hull Revisited

Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...

On Optimizing the Sweep-Line Method

For applying the sweep-line method, a state space reduction technique, it is necessary to provide an automatic calculation of a progress measure. In [1], such a calculation has been proposed for Petri nets. The approach presented there may lead to suboptimal results, therefore the author suggested possible optimizations. In this paper, we check whether the proposed optimization goals indeed lea...